Georges Gonthier: Computer proofs: teaching computers mathematics, and conversely International Mathematical Union 47:16 Streamed 2 years ago 2 597 Далее Скачать
BPR programme: participant Georges Gonthier explains "Four colour theorem" Isaac Newton Institute for Mathematical Sciences 9:38 6 years ago 1 801 Далее Скачать
Georges Gonthier: The Logic of Real Proofs Federated Logic Conference FLoC 2018 1:06:11 6 years ago 686 Далее Скачать
Georges Gonthier - Functional Encodings of Mathematics Institut des Hautes Etudes Scientifiques (IHES) 48:35 2 years ago 631 Далее Скачать
Georges Gonthier: the four colour theorem RU Computer Science 1:06:41 11 years ago 3 611 Далее Скачать
Georges Gonthier: Programming Mathematics: Tools and Challenges Hausdorff Center for Mathematics 43:12 6 months ago 279 Далее Скачать
Mechanizing the Odd Order Theorem: Local Analysis - Georges Gonthier Institute for Advanced Study 1:04:20 8 years ago 251 Далее Скачать
Georges Gonthier: "Foothills and cathedrals: organising the libraries behind big proofs" Topos Institute 1:00:26 Streamed 1 year ago 732 Далее Скачать
2 - Kick-off afternoon : Georges Gonthier, Digitizing the Group Theory of the Odd Order Theorem Institut Henri Poincaré 40:32 Streamed 10 years ago 1 214 Далее Скачать
Excerpts from documentary "Towards a Semantic Language of Mathematics" Wolfram 9:04 7 years ago 4 579 Далее Скачать
